大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (5th : 1981 : University of Michigan) 的图书(共6112本)

E-Science and Information Management [electronic resource] : Third International Symposium on Information Management in a Changing World, IMCW 2012, Ankara, Turkey, September 19-21, 2012. Proceedings

0
索取号：
作者：Kurbano臒lu、 Serap.、Al、 Umut.、Erdo臒an、 Phyllis Lepon.、Tonta、 Ya艧ar.、U莽ak、 Nazan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

0
索取号：
作者：Gheyi、 Rohit.、Naumann、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Parameterized and Exact Computation [electronic resource] : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings

0
索取号：
作者：Thilikos、 Dimitrios M.、Woeginger、 Gerhard J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

0
索取号：
作者：Alvarez、 Luis.、Mejail、 Marta.、Gomez、 Luis.、Jacobo、 Julio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Information Systems and Industrial Management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

0
索取号：
作者：Cortesi、 Agostino.、Chaki、 Nabendu.、Saeed、 Khalid.、Wierzcho艅、 S艂awomir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Artificial Neural Networks in Pattern Recognition [electronic resource] : 5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012. Proceedings

0
索取号：
作者：Mana、 Nadia.、Schwenker、 Friedhelm.、Trentin、 Edmondo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Languages [electronic resource] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

0
索取号：
作者：Carvalho Junior、 Francisco Heron.、Barbosa、 Luis Soares.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Security-ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

0
索取号：
作者：Foresti、 Sara.、Yung、 Moti.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

0
索取号：
作者：Min茅、 Antoine.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Teixeira de Souza、 Jerffeson.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithms-ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

0
索取号：
作者：Epstein、 Leah.、Ferragina、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

0
索取号：
作者：Gerdt、 Vladimir P.、Koepf、 Wolfram.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 鈥pril 1, 2012, Revised Selected Papers

0
索取号：
作者：Pattinson、 Dirk.、Schr枚der、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.